PMAN4
SEL@KIT
Author: Keishi Okamoto
  • Research duration: 2006 - 2009
  • Total publications: 2
Publication counts by year
  • Preprints
  • Book
  • Translation
  • Academic Journal
  • International Conference
  • International Conference (Journal First)
  • Domestic Conference
  • Article
  • Technical report
  • Workshop
  • Thesis
  • Talk
  • Award
  • Patent
Publication counts by category
Research keywords
asynchronousatomiccheckingcommitmentdistributedmodelmodular-structurednonblockingprotocolsystems
Publications
2009
International Conference

[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", Proc. of First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD2009), pp. 138-142, March 2009.

2006
Workshop

[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 第４回ディペンダブルソフトウェアワークショップ(DSW06-2), December 2006.

Copyright © 2025 omzn.aquatan.net a.k.a. Osamu Mizuno All rights reserved.

The publications displayed in this list is related to SEL@KIT members only.